Formal Methods and Models
نویسندگان
چکیده
7KH PRWLYDWLRQ IRU XVLQJ IRUPDO PHWKRGV LQ WKH FRQWH[W RI WUXVWHG GHYHORSPHQW VWHPV SULPDULO\ IURP WKHLU DELOLW\ WR HQVXUH SUHFLVLRQ FRQVLVWHQF\ DQG DGGHG DVVXUDQFH GXULQJ WKH HODERUD WLRQ RI VHFXULW\ UHTXLUHPHQWV DFURVV GLIIHUHQW VWDJHV LQ WKH GHYHO RSPHQW RI D WUXVWHG FRPSXWLQJ V\VWHP 7KH VXEMHFW PDWWHU RI IRUPDO PRGHOV DQG VSHFLILFDWLRQV FDQ EH LOOXVWUDWHG E\ WKH YDULRXV NLQGV RI VHFXULW\ DWWULEXWHV DQG UHTXLUHPHQWV WKDW KDYH WXUQHG XS LQ SXEOLVKHG VHFXULW\ PRGHOV ([DPSOHV GLVFXVVHG LQ WKLV HVVD\ UHODWH WR QRQGLVFORVXUH SROLFLHV GDWD LQWHJULW\ SROLFLHV DQG XVHU FRQWUROOHG SROLFLHV 7KLV HVVD\ FRQFOXGHV ZLWK D GLVFXVVLRQ RI WHFKQLFDO DQG PHWKRGRORJLFDO LVVXHV UHODWLQJ WR WKH HIIHFWLYH XVH RI IRUPDO PHWKRGV
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملLayout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملComputationally secure multiple secret sharing: models, schemes, and formal security analysis
A multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants. in such a way a multi-secret sharing scheme (MSS) allows a dealer to share multiple secrets among a set of participants, such that any authorized subset of participants can reconstruct the secrets. Up to now, existing MSSs either require too long shares for participants to be perfect secur...
متن کاملمعرفی الگوهایی برای آموزش دانشگاهی نقد هنر تجسمی
Art criticism, defined as informed dialogue about the work of art, and an attempt to elucidate its meaning, is an activity based on principles, methodologies, procedures and theoretical frameworks which altogether make the practice of criticism possible. There are various, and mainly subjective, approaches to the art criticism practice. This variety makes it remarkably difficult to elicit and d...
متن کامل